ACT-PRO action protocol analyzer: a tool for analyzing discrete action protocols.
نویسنده
چکیده
This article presents a top-down approach for analyzing sequential events in behavioral data. Analysis of behavioral sequential data often entails identifying patterns specified by the researchers. Algorithms were developed and applied to analyze a kind of behavioral data, called discrete action protocol data. Discrete action protocols consist of discrete user actions, such as mouse clicks and keypresses. Unfortunately, the process of analyzing the huge volume of actions (typically, > 10(5)) is very labor intensive. To facilitate this process, we developed an action protocol analyzer (ACT-PRO) that provides two levels of pattern matching. Level one uses formal grammars to identify sequential patterns. Level two matches these patterns to a hierarchical structure. ACT-PRO can be used to determine how well data fit the patterns specified by an experimenter. Complementarily, it can be used to focus an experimenter's attention on data that do not fit the prespecified patterns.
منابع مشابه
Analysis of the Internet Key Exchange Protocol using the NRL Protocol Analyzer
In this paper we show how the NRL Protocol Analyzer, a special-purpose formal methods tool designed for the veri cation of cryptographic protocols, was used in the analysis of the Internet Key Exchange (IKE) protocol. We describe some of the challenges we faced in analyzing IKE, which speci es a set of closely related subprotocols, and we show how this led to a number of improvements to the Ana...
متن کاملDeclarative Symbolic Pure-Logic Model Checking
Model checking, a technique for findings errors in systems, involves building a formal model that describes possible system behaviors and correctness conditions, and using a tool to search for model behaviors violating correctness properties. Existing model checkers are well-suited for analyzing control-intensive algorithms (e.g. network protocols with simple node state). Many important analyse...
متن کاملCAPSL Interface for the NRL Protocol Analyzer
The Common Authentication Protocol Speci cation Language (CAPSL) is a high-level language for applying formal methods to the security analysis of cryptographic protocols. Its goal is to permit a protocol to be speci ed once in a form that is usable as an interface to any type of analysis tool or technique, given appropriate translation software. This paper describes the rst operational CAPSL tr...
متن کاملModification and Development of Protocols for the Content Analysis of the Food Advertisements in Mass Media and School Surroundings in Iran
Background and Objectives: Considering important roles of advertisement in food choices, especially for children and adolescents, valid tools are needed to assess changes in the content of advertisements. The purpose of the present study was to prepare standard protocols for assessing the content of food advertisements of televisions, radios, billboards and school surroundings in Iran. Material...
متن کاملBounded Model Checking of Network Protocols in Network Simulators by Exploiting Protocol-Specific Heuristics
Network simulators perform well in evaluating the performance of network protocols, but lack the capability of verifying their correctness. In order to address this lacuna, we have extended the J-Sim network simulator with a model checking capability to explore the state space of a network protocol to find either an execution where a safety invariant is violated or an exceution where the satisf...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Behavior research methods, instruments, & computers : a journal of the Psychonomic Society, Inc
دوره 33 2 شماره
صفحات -
تاریخ انتشار 2001